#include <asm.h>
#include <csr.h>

ENTRY(get_current_cpu_id)
    csrr a0, CSR_MHARTID
    jr ra
ENDPROC(get_current_cpu_id)

